About
I am pursuing a PhD at the Department of Computer Science at University of Porto where I am advised by Mário Florido.
My research interests are centered around the design and implementation of programming languages. In particular, I am interested in the study of logic and semantics, as it can provide valuable insights for the design of better programming languages and type systems.
Before my PhD, I obtained a MSc degree in Computer Science with a focus on Reliable Computation at the University of Porto.
News
- Aug 2024
-
Attending ISR 2024 in Obergurgl
- Jun 2024
-
Attended OPLSS 2024 in Boston
- Dec 2023
-
Defended my MSc dissertation
Publications
- Preprint
-
A Lazy Abstract Machine for a Tracing Interpreter
Pedro Vasconcelos, Rodrigo Marques
Abstract arXiv - 2023
-
A Lazy Abstract Machine Based on a Pattern-Matching Calculus
Pedro Vasconcelos, Rodrigo Marques
Symposium on Implementation and Application of Functional Languages
Abstract arXiv - 2022
-
Towards Algebraic Subtyping for Extensible Records
Rodrigo Marques, Mário Florido, Pedro Vasconcelos
Presented at: ML Workshop at the International Conference on Functional Programming
Master’s Dissertation
- 2022
-
Subtyping: Study and Implementation
Abstract Link
Teaching
Lab instructor
CC1008: Introduction to Programing
Fall 2023, 2024
Introductory programming course for computer science students with Python.
L.EIC003: Programming Fundamentals
Fall 2023
Introductory programming course for informatics engineering students with Python.
CC1005: Functional Programming
Spring 2024
Introduction to functional programming with Haskell. Proving program properties using induction and equational reasoning.
L.EIC009: Programming
Spring 2024
Introduction to object-oriented programming with C++.